predicate logic

Syntax and operational semantics of recursive programs based on predicate logic

建立于谓词逻辑上的递归程序及其操作语义

互联网摘选

Formalized Analysis of Trusted Computing Based on Conditional Predicate Logic

基于条件谓词逻辑的可信计算形式化分析

互联网摘选

The Decidability of Proof Method in the Predicate Logic Inference

谓词逻辑推理中证明方法的判定

互联网摘选

Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

谓词逻辑: 也叫谓词演算, 它研究简单命题的内部结构.

互联网摘选

it takes a plural predicate verb. predicate logic with equality

但要使用复数谓语动词。带同异性的谓词逻辑

互联网摘选

Web database and knowledge base standard of mineral processing were built, and traditional rule, frame, semantic model and predicate logic knowledge were characterized by relational data pattern.

构造了选矿基础Web数据库，建立了统一的知识库标准，基于关系模式表征了传统的规则、框架、语义网络、谓词逻辑等知识；

互联网摘选

For this type of reasoning, we explore different types of abductive reasoning from three aspects: propositional logic, syllogism and predicate logic.

对于这类推理，我们从命题逻辑、三段论和谓词逻辑等三个方面，区分了不同类型的溯因推理。

互联网摘选

Specifically, major contributions are as follows: Firstly, this thesis develops a formal semantic model for component that is based on predicate logic, set theory and Pi-calculus.

具体如下：首先，本文结合构件的静态结构特征和动态行为特征，基于谓词逻辑、集合论以及进程代数π演算，提出了一种构件的形式语义模型。

互联网摘选

Discussion about the transformation research from extensional description logics ALC~+ to predicate logic

扩展描述罗辑ALC~+到谓词逻辑的转换研究初探

互联网摘选

in two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.

在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集。

互联网摘选

theory of truth degree based on the finite interpretation and enumerable interpretation of fuzzy predicate logic formulas

模糊谓词逻辑公式的有限和可数解释真度理论

互联网摘选

By predicate logic, the solution is set up and the process of analysis is provided.

依据谓词逻辑规则建立解决方案, 提供了求解的流程.

网络文摘精选

The element's index is used in the logic of the predicate function.

将在谓词函数的逻辑中使用元素的索引.

网络文摘精选

they are to monadic predicate logic what boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

互联网摘选

Artificial intelligence systems have been reviewed, which include problem-solvers, expanded predicate logic, expert systems and intelligent CAD systems in FGCS. This paper shows that introduction of artificial intelligence in CAD is an important development tendency.

本文概述了CAD中的人工智能系统，包括早期的问题求解程序、扩展谓词逻辑的形式系统、专家系统以及第五代计算机的智能CAD系统，表明在CAD中引进人工智能技术是其重要发展趋势。

互联网摘选

This paper deals with the background of the celebrated Goodman's new riddle of induction and the logic and semantics of predicate grue. A Venn's diagram of predicate grue is presented.

本文回顾了古德曼的新归纳之谜的背景，分析了格路谓词的逻辑与语义特征。

互联网摘选

From the perspective of modem predicate logic, syllogistic abductive reasoning can be converted into abductive reasoning in predicate logic.

从现代谓词逻辑的角度看，三段论溯因推理可以转化为谓词逻辑中的溯因推理。

互联网摘选